2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 42 36 43 62 0 44 111

N.S.

1 1.00 0.89 0.77 0.91 1.32 0.00 0.94 2.36

time (sec)

N/A 0.046 0.014 0.125 0.280 0.392 0.000 0.539 8.866

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 20 39 41 56 0 41 41

N.S.

1 1.00 0.67 1.30 1.37 1.87 0.00 1.37 1.37

time (sec)

N/A 0.040 0.019 0.108 0.286 0.369 0.000 0.457 8.903

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 55 39 43 57 0 43 43

N.S.

1 1.00 1.00 0.71 0.78 1.04 0.00 0.78 0.78

time (sec)

N/A 0.048 0.019 0.131 0.292 0.379 0.000 0.519 8.853

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 55 39 43 65 0 43 43

N.S.

1 1.00 1.00 0.71 0.78 1.18 0.00 0.78 0.78

time (sec)

N/A 0.047 0.020 0.145 0.274 0.341 0.000 0.467 8.918

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 55 39 43 70 0 43 43

N.S.

1 1.00 1.00 0.71 0.78 1.27 0.00 0.78 0.78

time (sec)

N/A 0.046 0.033 0.145 0.300 0.349 0.000 0.586 8.907

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 80 58 58 98 80 58 57

N.S.

1 1.00 1.10 0.79 0.79 1.34 1.10 0.79 0.78

time (sec)

N/A 0.051 0.247 0.168 0.260 0.345 0.714 0.484 0.065

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 70 58 58 85 82 58 57

N.S.

1 1.00 0.96 0.79 0.79 1.16 1.12 0.79 0.78

time (sec)

N/A 0.050 0.232 0.122 0.269 0.370 0.436 0.507 0.062

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 30 57 58 71 76 58 56

N.S.

1 1.00 0.67 1.27 1.29 1.58 1.69 1.29 1.24

time (sec)

N/A 0.032 0.097 0.099 0.265 0.378 0.301 0.475 0.060

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 65 44 55 59 0 56 102

N.S.

1 1.00 1.00 0.68 0.85 0.91 0.00 0.86 1.57

time (sec)

N/A 0.029 0.022 0.075 0.276 0.358 0.000 0.525 8.655

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 46 54 78 0 55 156

N.S.

1 1.00 1.00 0.74 0.87 1.26 0.00 0.89 2.52

time (sec)

N/A 0.041 0.024 0.105 0.288 0.390 0.000 0.512 8.593

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 53 44 54 77 0 55 163

N.S.

1 1.00 0.87 0.72 0.89 1.26 0.00 0.90 2.67

time (sec)

N/A 0.047 0.017 0.120 0.286 0.378 0.000 0.478 8.573

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 57 46 58 91 0 59 147

N.S.

1 1.00 0.88 0.71 0.89 1.40 0.00 0.91 2.26

time (sec)

N/A 0.049 0.017 0.128 0.278 0.369 0.000 0.500 8.616

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 20 49 54 72 0 54 54

N.S.

1 1.00 0.67 1.63 1.80 2.40 0.00 1.80 1.80

time (sec)

N/A 0.043 0.017 0.134 0.266 0.331 0.000 0.428 8.614

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 71 49 56 81 0 56 56

N.S.

1 1.00 1.16 0.80 0.92 1.33 0.00 0.92 0.92

time (sec)

N/A 0.043 0.026 0.148 0.271 0.338 0.000 0.491 8.604

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 73 49 56 86 0 56 56

N.S.

1 1.00 1.00 0.67 0.77 1.18 0.00 0.77 0.77

time (sec)

N/A 0.048 0.028 0.173 0.293 0.367 0.000 0.508 8.603

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 73 49 56 93 0 56 56

N.S.

1 1.00 1.00 0.67 0.77 1.27 0.00 0.77 0.77

time (sec)

N/A 0.049 0.025 0.153 0.278 0.354 0.000 0.483 8.665

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 100 71 71 124 97 71 70

N.S.

1 1.00 1.10 0.78 0.78 1.36 1.07 0.78 0.77

time (sec)

N/A 0.056 0.658 0.265 0.280 0.377 1.418 0.486 8.455

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 90 70 71 111 95 71 69

N.S.

1 1.00 1.02 0.80 0.81 1.26 1.08 0.81 0.78

time (sec)

N/A 0.056 0.631 0.218 0.274 0.355 0.947 0.498 8.446

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 80 70 71 97 95 71 69

N.S.

1 1.00 1.19 1.04 1.06 1.45 1.42 1.06 1.03

time (sec)

N/A 0.051 0.291 0.171 0.297 0.359 0.651 0.469 8.414

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 30 71 71 85 97 71 70

N.S.

1 1.00 0.67 1.58 1.58 1.89 2.16 1.58 1.56

time (sec)

N/A 0.032 0.076 0.139 0.269 0.344 0.551 0.476 0.048

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 81 54 68 72 0 69 118

N.S.

1 1.00 1.00 0.67 0.84 0.89 0.00 0.85 1.46

time (sec)

N/A 0.035 0.029 0.099 0.272 0.387 0.000 0.472 8.620

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 78 56 67 91 0 68 235

N.S.

1 1.00 1.00 0.72 0.86 1.17 0.00 0.87 3.01

time (sec)

N/A 0.046 0.026 0.115 0.271 0.360 0.000 0.533 8.647

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 54 56 66 98 0 67 207

N.S.

1 1.00 0.68 0.70 0.82 1.22 0.00 0.84 2.59

time (sec)

N/A 0.053 0.063 0.127 0.268 0.382 0.000 0.464 8.618

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 60 56 63 58 80 76 68

N.S.

1 1.00 0.71 0.66 0.74 0.68 0.94 0.89 0.80

time (sec)

N/A 0.064 0.120 0.135 0.284 0.348 0.652 0.429 8.456

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 50 46 53 48 66 64 56

N.S.

1 1.00 0.75 0.69 0.79 0.72 0.99 0.96 0.84

time (sec)

N/A 0.056 0.090 0.111 0.279 0.365 0.508 0.431 0.056

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 38 36 41 36 53 45 35

N.S.

1 1.00 0.78 0.73 0.84 0.73 1.08 0.92 0.71

time (sec)

N/A 0.050 0.047 0.090 0.277 0.354 0.327 0.456 0.047

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 25 26 30 26 37 31 26

N.S.

1 1.00 0.81 0.84 0.97 0.84 1.19 1.00 0.84

time (sec)

N/A 0.033 0.017 0.085 0.285 0.360 0.264 0.457 8.459

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 32 27 31 28 0 33 32

N.S.

1 1.00 1.00 0.84 0.97 0.88 0.00 1.03 1.00

time (sec)

N/A 0.027 0.013 0.083 0.285 0.367 0.000 0.449 8.609

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 37 43 51 0 45 55

N.S.

1 1.00 1.00 0.80 0.93 1.11 0.00 0.98 1.20

time (sec)

N/A 0.046 0.027 0.098 0.283 0.351 0.000 0.451 8.599

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 63 45 55 72 0 57 106

N.S.

1 1.00 1.00 0.71 0.87 1.14 0.00 0.90 1.68

time (sec)

N/A 0.054 0.034 0.110 0.273 0.357 0.000 0.454 8.823

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 82 57 65 102 0 67 139

N.S.

1 1.00 1.00 0.70 0.79 1.24 0.00 0.82 1.70

time (sec)

N/A 0.060 0.033 0.125 0.279 0.356 0.000 0.463 8.591

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 73 60 70 81 201 107 72

N.S.

1 1.00 0.84 0.69 0.80 0.93 2.31 1.23 0.83

time (sec)

N/A 0.065 0.452 0.207 0.281 0.373 1.009 0.490 0.055

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 71 48 59 72 170 90 59

N.S.

1 1.00 1.01 0.69 0.84 1.03 2.43 1.29 0.84

time (sec)

N/A 0.058 0.153 0.158 0.281 0.355 0.709 0.480 8.471

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 55 38 47 57 126 70 45

N.S.

1 1.00 1.06 0.73 0.90 1.10 2.42 1.35 0.87

time (sec)

N/A 0.053 0.165 0.150 0.295 0.355 0.539 0.467 0.083

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 27 28 34 40 95 56 34

N.S.

1 1.00 0.73 0.76 0.92 1.08 2.57 1.51 0.92

time (sec)

N/A 0.035 0.023 0.122 0.279 0.350 0.438 0.454 0.048

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 36 37 46 59 0 45 87

N.S.

1 1.00 0.69 0.71 0.88 1.13 0.00 0.87 1.67

time (sec)

N/A 0.033 0.046 0.146 0.289 0.348 0.000 0.434 8.576

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 45 51 68 104 0 69 136

N.S.

1 1.00 0.66 0.75 1.00 1.53 0.00 1.01 2.00

time (sec)

N/A 0.051 0.116 0.131 0.273 0.367 0.000 0.436 8.609

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 61 59 80 147 0 87 168

N.S.

1 1.00 0.72 0.69 0.94 1.73 0.00 1.02 1.98

time (sec)

N/A 0.063 0.152 0.194 0.274 0.362 0.000 0.442 8.613

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 98 69 90 195 0 103 202

N.S.

1 1.00 0.97 0.68 0.89 1.93 0.00 1.02 2.00

time (sec)

N/A 0.070 1.688 0.213 0.274 0.353 0.000 0.485 8.628

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 106 72 95 117 394 89 108

N.S.

1 1.00 0.95 0.65 0.86 1.05 3.55 0.80 0.97

time (sec)

N/A 0.074 0.556 0.273 0.265 0.356 2.410 0.454 0.129

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 78 62 81 107 347 73 91

N.S.

1 1.00 0.84 0.67 0.87 1.15 3.73 0.78 0.98

time (sec)

N/A 0.073 1.547 0.251 0.281 0.336 1.287 0.512 8.490

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 70 50 71 95 303 56 59

N.S.

1 1.00 0.95 0.68 0.96 1.28 4.09 0.76 0.80

time (sec)

N/A 0.059 0.313 0.203 0.274 0.355 0.914 0.456 0.074

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 65 42 60 75 257 45 44

N.S.

1 1.00 1.08 0.70 1.00 1.25 4.28 0.75 0.73

time (sec)

N/A 0.054 0.517 0.176 0.276 0.343 0.640 0.447 0.056

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 30 33 44 46 99 28 37

N.S.

1 1.00 1.00 1.10 1.47 1.53 3.30 0.93 1.23

time (sec)

N/A 0.029 0.025 0.144 0.279 0.331 0.609 0.492 0.053

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 52 49 72 104 0 59 148

N.S.

1 1.00 0.70 0.66 0.97 1.41 0.00 0.80 2.00

time (sec)

N/A 0.041 0.138 0.163 0.290 0.355 0.000 0.462 8.761

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 61 63 91 152 0 77 193

N.S.

1 1.00 0.68 0.70 1.01 1.69 0.00 0.86 2.14

time (sec)

N/A 0.057 0.320 0.172 0.278 0.363 0.000 0.471 8.652

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 71 73 103 196 0 86 227

N.S.

1 1.00 0.66 0.68 0.95 1.81 0.00 0.80 2.10

time (sec)

N/A 0.074 0.515 0.224 0.285 0.366 0.000 0.467 8.684

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 81 83 113 242 0 97 260

N.S.

1 1.00 0.64 0.66 0.90 1.92 0.00 0.77 2.06

time (sec)

N/A 0.076 3.790 0.228 0.273 0.363 0.000 0.495 8.676

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 119 74 105 144 588 84 114

N.S.

1 1.00 1.03 0.64 0.91 1.24 5.07 0.72 0.98

time (sec)

N/A 0.074 0.687 0.140 0.294 0.349 3.452 0.465 8.532

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 127 62 94 132 527 66 69

N.S.

1 1.00 1.34 0.65 0.99 1.39 5.55 0.69 0.73

time (sec)

N/A 0.066 6.460 0.283 0.301 0.353 1.724 0.497 0.123

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 61 54 83 112 466 55 54

N.S.

1 1.00 0.73 0.65 1.00 1.35 5.61 0.66 0.65

time (sec)

N/A 0.062 0.282 0.243 0.277 0.358 1.203 0.460 0.063

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 53 43 67 72 192 38 54

N.S.

1 1.00 1.77 1.43 2.23 2.40 6.40 1.27 1.80

time (sec)

N/A 0.043 0.154 0.205 0.294 0.339 1.051 0.487 8.483

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 30 33 57 62 129 28 37

N.S.

1 1.00 0.65 0.72 1.24 1.35 2.80 0.61 0.80

time (sec)

N/A 0.036 0.023 0.174 0.278 0.342 1.054 0.441 8.462

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 62 61 95 152 0 69 206

N.S.

1 1.00 0.64 0.63 0.98 1.57 0.00 0.71 2.12

time (sec)

N/A 0.047 0.257 0.204 0.279 0.345 0.000 0.471 9.526

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 73 75 114 201 0 87 251

N.S.

1 1.00 0.66 0.68 1.03 1.81 0.00 0.78 2.26

time (sec)

N/A 0.065 0.705 0.218 0.285 0.342 0.000 0.521 8.722

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 85 85 126 242 0 97 286

N.S.

1 1.00 0.65 0.65 0.96 1.85 0.00 0.74 2.18

time (sec)

N/A 0.082 2.547 0.224 0.303 0.372 0.000 0.484 8.690

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 118 42 61 86 0 89 43

N.S.

1 1.00 2.31 0.82 1.20 1.69 0.00 1.75 0.84

time (sec)

N/A 0.040 0.108 0.128 0.511 0.349 0.000 0.468 8.730

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 80 0 103 302 1833 127 370

N.S.

1 1.00 0.70 0.00 0.90 2.65 16.08 1.11 3.25

time (sec)

N/A 0.081 0.196 0.734 0.277 0.378 5.931 0.524 11.762

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 65 0 83 210 1061 101 242

N.S.

1 1.00 0.71 0.00 0.91 2.31 11.66 1.11 2.66

time (sec)

N/A 0.067 0.115 0.333 0.283 0.352 2.772 0.462 10.416

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 50 0 63 135 530 75 147

N.S.

1 1.00 0.74 0.00 0.93 1.99 7.79 1.10 2.16

time (sec)

N/A 0.059 0.145 0.273 0.275 0.369 1.535 0.434 9.641

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 38 0 39 62 190 45 67

N.S.

1 1.00 0.93 0.00 0.95 1.51 4.63 1.10 1.63

time (sec)

N/A 0.036 0.226 0.174 0.278 0.341 0.723 0.456 9.184

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.053 0.035 0.088 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.054 0.025 0.418 0.000 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.052 0.031 0.441 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.054 0.027 0.822 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 71 95 65 73 192 92 226

N.S.

1 1.00 0.68 0.90 0.62 0.70 1.83 0.88 2.15

time (sec)

N/A 0.110 0.162 0.141 0.282 0.357 0.453 0.482 12.131

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 54 77 52 62 144 62 198

N.S.

1 1.00 0.67 0.95 0.64 0.77 1.78 0.77 2.44

time (sec)

N/A 0.089 0.089 0.103 0.275 0.358 0.271 0.482 11.973

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 42 57 39 51 119 47 198

N.S.

1 1.00 0.65 0.88 0.60 0.78 1.83 0.72 3.05

time (sec)

N/A 0.063 0.076 0.086 0.276 0.351 0.201 0.450 12.332

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 74 55 57 60 0 87 160

N.S.

1 1.00 1.45 1.08 1.12 1.18 0.00 1.71 3.14

time (sec)

N/A 0.042 0.063 0.129 0.281 0.365 0.000 0.456 8.718

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 75 49 54 84 0 108 108

N.S.

1 1.00 1.83 1.20 1.32 2.05 0.00 2.63 2.63

time (sec)

N/A 0.040 0.036 0.106 0.476 0.383 0.000 0.446 8.800

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 109 71 66 114 0 95 145

N.S.

1 1.00 2.10 1.37 1.27 2.19 0.00 1.83 2.79

time (sec)

N/A 0.054 0.041 0.125 0.479 0.364 0.000 0.455 8.676

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 95 72 61 119 0 115 111

N.S.

1 1.00 1.83 1.38 1.17 2.29 0.00 2.21 2.13

time (sec)

N/A 0.075 0.031 0.135 0.282 0.372 0.000 0.460 8.577

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 135 90 80 137 0 116 112

N.S.

1 1.00 1.82 1.22 1.08 1.85 0.00 1.57 1.51

time (sec)

N/A 0.095 0.042 0.171 0.284 0.375 0.000 0.488 8.593

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 177 110 92 169 0 144 143

N.S.

1 1.00 1.97 1.22 1.02 1.88 0.00 1.60 1.59

time (sec)

N/A 0.096 0.060 0.151 0.282 0.375 0.000 0.447 8.648

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 86 151 105 98 275 123 331

N.S.

1 1.00 0.64 1.12 0.78 0.73 2.04 0.91 2.45

time (sec)

N/A 0.174 0.392 0.207 0.288 0.351 0.671 0.518 12.308

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 76 142 93 85 309 106 257

N.S.

1 1.00 0.74 1.38 0.90 0.83 3.00 1.03 2.50

time (sec)

N/A 0.112 0.318 0.158 0.308 0.349 0.826 0.466 12.163

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 105 57 95 69 72 172 72 262

N.S.

1 1.15 0.63 1.04 0.76 0.79 1.89 0.79 2.88

time (sec)

N/A 0.091 0.159 0.127 0.276 0.347 0.314 0.488 12.132

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 71 73 75 86 0 101 188

N.S.

1 1.00 1.00 1.03 1.06 1.21 0.00 1.42 2.65

time (sec)

N/A 0.085 0.269 0.154 0.278 0.431 0.000 0.476 9.043

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 94 80 79 105 0 143 201

N.S.

1 1.00 1.27 1.08 1.07 1.42 0.00 1.93 2.72

time (sec)

N/A 0.075 0.421 0.151 0.484 0.405 0.000 0.458 8.811

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 102 103 104 143 0 128 213

N.S.

1 1.00 1.40 1.41 1.42 1.96 0.00 1.75 2.92

time (sec)

N/A 0.087 0.463 0.170 0.485 0.397 0.000 0.465 8.777

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 140 97 83 166 0 141 193

N.S.

1 1.00 1.92 1.33 1.14 2.27 0.00 1.93 2.64

time (sec)

N/A 0.151 0.427 0.189 0.478 0.362 0.000 0.442 8.937

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 209 143 130 155 0 164 161

N.S.

1 1.00 2.55 1.74 1.59 1.89 0.00 2.00 1.96

time (sec)

N/A 0.136 0.097 0.224 0.277 0.355 0.000 0.468 8.622

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 189 136 109 189 0 164 160

N.S.

1 1.00 1.89 1.36 1.09 1.89 0.00 1.64 1.60

time (sec)

N/A 0.141 0.698 0.209 0.280 0.352 0.000 0.495 8.629

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 229 200 187 227 0 228 339

N.S.

1 1.00 1.85 1.61 1.51 1.83 0.00 1.84 2.73

time (sec)

N/A 0.172 0.518 0.253 0.295 0.351 0.000 0.468 9.658

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 86 194 129 98 379 123 331

N.S.

1 1.00 0.65 1.47 0.98 0.74 2.87 0.93 2.51

time (sec)

N/A 0.202 0.485 0.218 0.281 0.365 0.730 0.465 12.159

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 133 76 156 106 85 328 106 349

N.S.

1 1.14 0.65 1.33 0.91 0.73 2.80 0.91 2.98

time (sec)

N/A 0.123 0.347 0.170 0.288 0.345 0.491 0.489 10.718

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 82 115 99 101 0 144 244

N.S.

1 1.00 0.83 1.16 1.00 1.02 0.00 1.45 2.46

time (sec)

N/A 0.112 0.504 0.175 0.279 0.374 0.000 0.481 10.357

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 106 94 93 121 0 162 264

N.S.

1 1.00 1.15 1.02 1.01 1.32 0.00 1.76 2.87

time (sec)

N/A 0.102 0.778 0.165 0.493 0.358 0.000 0.473 8.766

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 112 130 124 159 0 184 259

N.S.

1 1.00 1.14 1.33 1.27 1.62 0.00 1.88 2.64

time (sec)

N/A 0.100 0.799 0.184 0.480 0.359 0.000 0.480 8.681

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 148 125 117 180 0 161 249

N.S.

1 1.00 1.63 1.37 1.29 1.98 0.00 1.77 2.74

time (sec)

N/A 0.115 0.354 0.188 0.492 0.372 0.000 0.483 8.675

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 133 164 147 190 0 174 237

N.S.

1 1.00 1.33 1.64 1.47 1.90 0.00 1.74 2.37

time (sec)

N/A 0.149 0.435 0.221 0.485 0.381 0.000 0.504 8.893

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 267 185 155 190 0 196 291

N.S.

1 1.00 2.67 1.85 1.55 1.90 0.00 1.96 2.91

time (sec)

N/A 0.162 0.104 0.243 0.293 0.345 0.000 0.524 9.304

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 252 222 200 227 0 228 339

N.S.

1 1.00 2.03 1.79 1.61 1.83 0.00 1.84 2.73

time (sec)

N/A 0.193 2.872 0.233 0.293 0.364 0.000 0.497 9.675

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 151 182 128 85 381 106 349

N.S.

1 1.00 1.10 1.33 0.93 0.62 2.78 0.77 2.55

time (sec)

N/A 0.115 0.307 0.203 0.303 0.346 0.548 0.473 10.728

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 95 149 125 115 0 181 295

N.S.

1 1.00 0.81 1.27 1.07 0.98 0.00 1.55 2.52

time (sec)

N/A 0.143 0.787 0.204 0.281 0.363 0.000 0.494 10.419

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 136 136 117 135 0 194 295

N.S.

1 1.00 1.17 1.17 1.01 1.16 0.00 1.67 2.54

time (sec)

N/A 0.117 1.115 0.179 0.479 0.359 0.000 0.509 8.834

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 281 116 258 68 1360 114 107

N.S.

1 1.00 2.70 1.12 2.48 0.65 13.08 1.10 1.03

time (sec)

N/A 0.093 3.731 0.207 0.488 0.346 17.000 0.477 11.913

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 271 116 237 58 1049 114 79

N.S.

1 1.00 3.11 1.33 2.72 0.67 12.06 1.31 0.91

time (sec)

N/A 0.089 1.219 0.191 0.492 0.338 11.258 0.455 8.605

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 46 77 156 45 563 75 66

N.S.

1 1.00 0.74 1.24 2.52 0.73 9.08 1.21 1.06

time (sec)

N/A 0.084 0.065 0.158 0.488 0.365 4.832 0.452 10.464

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 161 77 133 34 366 72 33

N.S.

1 1.00 3.58 1.71 2.96 0.76 8.13 1.60 0.73

time (sec)

N/A 0.048 0.424 0.124 0.483 0.342 2.497 0.437 8.686